Visible Type Application

نویسندگان

  • Richard A. Eisenberg
  • Stephanie Weirich
  • Hamidhasan G. Ahmed
چکیده

The Hindley-Milner (HM) type system automatically infers the types at which polymorphic functions are used. In HM, the inferred types are unambiguous, and every expression has a principal type. However, type inference is sometimes unwieldy or impossible, especially in the presence of type system extensions such as type classes and typelevel functions. Even here, programmers cannot provide type arguments explicitly, as HM requires types to be invisible. We describe an extension to HM that allows for visible type application. Our extension requires a novel type inference algorithm, yet its declarative presentation is a simple extension to HM. We prove that our extended system is a conservative extension of HM and admits principal types. We then extend our approach to a higher-rank type system with bidirectional type-checking. We have implemented this system in the Glasgow Haskell Compiler and show how our approach scales in the presence of complex type system features.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Synthesis, Characterization, and Application of Zr,Ce-TiO2/SiO2 Nanocomposite Thin Film as Visible-light Active Photocatalyst

A novel Zr,Ce-TiO2/SiO2 nanocomposite thin film was successfully prepared with various amounts of Zr4+ and Ce4+ as codopant ions for self-cleaning applications. A thin film was coated on a tile substrate by dip-coating and porous Zr,Ce-TiO2/SiO2 was obtained after heat treatment for 2 hours at 500 °C. The SEM images an...

متن کامل

Microwave-assisted rapid synthesis of Co3O4 nanorods from CoC2O4.2H2O nanorods and its application in photocatalytic degradation of methylene blue under visible light irradiation

In this work, Co3O4 nanorods were successfully prepared by microwave-assisted solid state decomposition of rod-like CoC2O4.2H2O precursor within a very short reaction time (6 min) without the use of a solvent/surfactant and complicated equipment. The as-obtained Co3O4 nanorods were fully characterized by X-ray diffract...

متن کامل

Microwave-assisted rapid synthesis of Co3O4 nanorods from CoC2O4.2H2O nanorods and its application in photocatalytic degradation of methylene blue under visible light irradiation

In this work, Co3O4 nanorods were successfully prepared by microwave-assisted solid state decomposition of rod-like CoC2O4.2H2O precursor within a very short reaction time (6 min) without the use of a solvent/surfactant and complicated equipment. The as-obtained Co3O4 nanorods were fully characterized by X-ray diffract...

متن کامل

Determining the antibacterial effect of ZnO nanoparticle against the pathogenic bacterium, Shigella dysenteriae (type 1)

The nanomaterials have important application in different field of science such as biology and pharmacology, which draws the attention of biologists towards this field of study more than before. As the worldwide mortality rate is high due to the pathogens and especially because of the bacteria associated dysenteriae and the antibacterial effect of metal nanoparticles is well known from centurie...

متن کامل

Synthesis and Application of Two Organic Dyes for Dye-Sensitized Solar Cells

In the present study, two new organic dyes based on indigo were prepared and used as sensitizers in dye-sensitized solar cells. To this end, indoxyl was utilized as the electron donor and cyanoacrylic acid as the electron acceptor anchoring groups. These dyes together with their corresponding intermediates were purified and characterized by FTIR, 1HNMR, 13CNMR, elemental analysis and UV-Visible...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016